Proof complexity - PDFSEARCH.IO - Document Search Engine

Proof complexity
Results: 225

#	Item
221	PDF Document Add to Reading List Source URL: crypto.cs.mcgill.ca Language: English - Date: 2007-01-18 15:34:42 Cryptographic protocols Complexity classes Probabilistic complexity theory Zero-knowledge proof Interactive proof system IP Quantum complexity theory NP Probabilistic Turing machine Theoretical computer science Computational complexity theory Applied mathematics
222	PDF Document Add to Reading List Source URL: crypto.cs.mcgill.ca Language: English - Date: 2006-12-19 17:14:50 Complexity classes Structural complexity theory Probabilistic complexity theory Mathematical optimization Arthur–Merlin protocol Interactive proof system NP IP Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
223	PDF Document Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-07-23 09:02:44 Challenge-response authentication Commitment scheme IP Zero-knowledge proof Distance-bounding protocol NP Cryptographic nonce Alice and Bob Public-key cryptography Cryptography Cryptographic protocols Complexity classes
224	PDF Document Add to Reading List Source URL: ftp.cs.rutgers.edu Language: English - Date: 2001-06-15 14:23:26 Complexity classes Circuit complexity ACC0 Natural proof Pseudorandom generator TC0 AC0 Parity function EXPTIME Theoretical computer science Computational complexity theory Applied mathematics
225	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics